On the Duality of Proofs and Countermodels in Labelled Sequent Calculi
Identifieur interne : 001524 ( Main/Exploration ); précédent : 001523; suivant : 001525On the Duality of Proofs and Countermodels in Labelled Sequent Calculi
Auteurs : Sara Negri [Finlande]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: The duality of proofs and counterexamples, or more generally, refutations, is ubiquitous in science, but involves distinctions often blurred by the rethoric of argumentation. More crisp distinctions between proofs and refutations are found in mathematics, especially in well defined formalized fragments. Every working mathematician knows that finding a proof and looking for a counterexample are two very different activities that cannot be carried on simultaneusly. Usually the latter starts when the hope to find a proof is fading away, and the failed attempts will serve as an implicit guide to chart the territory in which to look for a counterexample. No general recipe is, however, gained from the failures, and a leap of creativity is required to find a counterxample, if such is at all obtained.
Url:
DOI: 10.1007/978-3-642-40537-2_2
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 003A81
- to stream Istex, to step Curation: 003A37
- to stream Istex, to step Checkpoint: 000150
- to stream Main, to step Merge: 001536
- to stream Main, to step Curation: 001524
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">On the Duality of Proofs and Countermodels in Labelled Sequent Calculi</title>
<author><name sortKey="Negri, Sara" sort="Negri, Sara" uniqKey="Negri S" first="Sara" last="Negri">Sara Negri</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:F5AF69D10B9FAE35C28081F35448CBF96A5181E8</idno>
<date when="2013" year="2013">2013</date>
<idno type="doi">10.1007/978-3-642-40537-2_2</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-JH69NR6L-K/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">003A81</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003A81</idno>
<idno type="wicri:Area/Istex/Curation">003A37</idno>
<idno type="wicri:Area/Istex/Checkpoint">000150</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000150</idno>
<idno type="wicri:doubleKey">0302-9743:2013:Negri S:on:the:duality</idno>
<idno type="wicri:Area/Main/Merge">001536</idno>
<idno type="wicri:Area/Main/Curation">001524</idno>
<idno type="wicri:Area/Main/Exploration">001524</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">On the Duality of Proofs and Countermodels in Labelled Sequent Calculi</title>
<author><name sortKey="Negri, Sara" sort="Negri, Sara" uniqKey="Negri S" first="Sara" last="Negri">Sara Negri</name>
<affiliation wicri:level="4"><country xml:lang="fr">Finlande</country>
<wicri:regionArea>Department of Philosophy, University of Helsinki, PL 24, Unioninkatu 40 B, 00014</wicri:regionArea>
<orgName type="university">Université d'Helsinki</orgName>
<placeName><settlement type="city">Helsinki</settlement>
<region type="région" nuts="2">Uusimaa</region>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Finlande</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: The duality of proofs and counterexamples, or more generally, refutations, is ubiquitous in science, but involves distinctions often blurred by the rethoric of argumentation. More crisp distinctions between proofs and refutations are found in mathematics, especially in well defined formalized fragments. Every working mathematician knows that finding a proof and looking for a counterexample are two very different activities that cannot be carried on simultaneusly. Usually the latter starts when the hope to find a proof is fading away, and the failed attempts will serve as an implicit guide to chart the territory in which to look for a counterexample. No general recipe is, however, gained from the failures, and a leap of creativity is required to find a counterxample, if such is at all obtained.</div>
</front>
</TEI>
<affiliations><list><country><li>Finlande</li>
</country>
<region><li>Uusimaa</li>
</region>
<settlement><li>Helsinki</li>
</settlement>
<orgName><li>Université d'Helsinki</li>
</orgName>
</list>
<tree><country name="Finlande"><region name="Uusimaa"><name sortKey="Negri, Sara" sort="Negri, Sara" uniqKey="Negri S" first="Sara" last="Negri">Sara Negri</name>
</region>
<name sortKey="Negri, Sara" sort="Negri, Sara" uniqKey="Negri S" first="Sara" last="Negri">Sara Negri</name>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001524 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001524 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:F5AF69D10B9FAE35C28081F35448CBF96A5181E8 |texte= On the Duality of Proofs and Countermodels in Labelled Sequent Calculi }}
This area was generated with Dilib version V0.6.33. |